UselessAbstractPrimitive.agda:9,1-11,40
Using abstract here has no effect. Abstract applies to only
definitions like data definitions, record type definitions and
function clauses.
